Literate Engines in Lisp
نویسنده
چکیده
An engine is a programming language abstraction that implements timed preemption. Engines form a useful mechanism where bounded computation is needed. We describe an implementation of engines in Common Lisp and illustrate its functionality. We conclude with a discussion on how engines are being used in an ongoing project about goal-driven explanation. This paper is also an exercise in writing a literate program in Lisp.
منابع مشابه
An Elucidative Programming Environment for Scheme (Incomplete Draft)
In this paper we describe a programming environment for Scheme that supports elucidative programming. Scheme is a programming language in the Lisp family. Elucidative programming is a variant of literate programming. Literate programming represents the idea of structuring the program as fragments that are contained in an essay that documents the program understanding. Elucidative programming is...
متن کاملA Bibliography of Publications in ACM SIGPLAN Notices, 1960–1969
+ [21]. 68 [23]. ALGOL [10, 15, 17, 18, 21, 23, 5, 20]. Algol-based [20]. ALGOL-N [21]. based [20]. Bulletin [24, 5, 10, 15, 17, 18, 12, 14, 4, 7, 11, 3, 6, 9, 16]. collateral [20]. considered [1]. defining [20]. execution [20]. FORTRAN [14, 12]. general [20]. generation [23]. Go [1, 2]. harmful [1]. hybrid [20]. infinite [22, 23]. information [12, 14, 4]. involving [23]. Jovial [4]. language [...
متن کاملA Distributed LISP-STAT Environment
1 Motivation With the advent of networking and high-powered workstations, and the rise of end-user computing alongside the traditional centralised computing model, the heterogeneous network is emerging as the most signiicant platform for many computing activities. A heterogeneous network consists of a number of resources (e.g. workstations, leservers, database engines and computation nodes) int...
متن کاملDesign and Development of a Programmable Meta Search Engine
To the web user, a Meta Search Engine (MSE) appears much like a regular search engine (SE). MSE, unlike an SE does not have an index. Instead, it dynamically queries multiple search engines; extracts, fuses and re-ranks results and presents to users. Generally, an MSE is developed from scratch even if the focus is on improving fusion ranking, query modification or domain specific search. This p...
متن کاملHacking and Extending ACL2
The ACL2 theorem prover provides the user a wide range of mechanisms for customization and extension while preserving soundness. ACL2 researchers and power users, however, sometimes work outside this realm in order to add new core functionality, to attach new user interfaces, or to connect ACL2 with other reasoning engines. We first describe new features of ACL2 that enable users to add to the ...
متن کامل